TSTP Solution File: DAT266^1 by Nitpick---2016